David Hilbert
ヒルベルト
ドイツの数学者
162/1/23-1943/2/14
Georg Friedrich Bernhard Riemannの後輩
証明論の確立
形式主義
ヒルベルト・プログラム